Mauricio Ayala-Rincón
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (2017)
By
Mauricio Ayala-Rincón
,
Flávio L C de Moura
Paperback
AED
220
63
AED 345.00
36% OFF
Turbo
Free Delivery
26 - 27 Nov